1. Advances in database technology--EDBT '92 :
پدیدآورنده: A. Pirotte, C. Delobel, G. Gottlob, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bases de données -- Gestion -- Congrès.,Database management -- Congresses.,Database management.
2. Analytical and stochastic modeling techniques and application
پدیدآورنده: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
3. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
4. [Computer aided systems theory] [revised selected papers]
پدیدآورنده: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
5. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
پدیدآورنده: Nachum Dershowitz, Naomi Lindenstrauss )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
6. Foundations of software science and computation structures
پدیدآورنده: Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,System analysis, Congresses.
7. KI 2018 :
پدیدآورنده: Frank Trollmann, Anni-Yasmin Turhan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Public administration.
رده :
Q334
8. Logic of Computation
پدیدآورنده: edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
9. Mathematical foundations of computer science 2013 :
پدیدآورنده: Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
10. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
11. Rewriting techniques and application
پدیدآورنده: / Leo Bachmair (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Rewriting systems (Computer science)--Congresses,Computer programming--Congresses,Algorithms--Congresses
رده :
QA
,
267
,.
R48
,
2000
12. Rewriting techniques and applications :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;
13. Rewriting techniques and applications :
پدیدآورنده: N. Dershowitz, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
14. Rewriting techniques and applications :
پدیدآورنده: Harald Ganzinger (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
15. Rewriting techniques and applications
پدیدآورنده: / Ronald V. Book, ed
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Rewriting systems (Computer science) -- Congresses,Electronic digital computers -- Programming -- Congresses,Algorithms -- Congresses
رده :
QA
267
.
I555
1991
16. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings
پدیدآورنده: edited by Pierre Lescanne
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
256
17. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده: edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
رده :
QA
76
.
L4
v
.
202
18. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده: edited by Jean-Pierre Jouannaud
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
202
19. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده: N. Dershowitz, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
355
20. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده: International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1989
